From: Florian Müllner <fmuellner@gnome.org>
Date: Fri, 18 Jul 2014 08:46:01 +0000 (+0200)
Subject: extensionPrefs: Respect 'disable-extension-version-validation' setting
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~2327
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=d77c7a407ccb063b1d68837e950de688f64c3a2c;p=gnome-shell.git

extensionPrefs: Respect 'disable-extension-version-validation' setting
---

diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index 586bad169..88e639acb 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -54,15 +54,17 @@ const Application = new Lang.Class({
         this._startupUuid = null;
         this._loaded = false;
         this._skipMainWindow = false;
+        this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell' });
     },
 
     _extensionAvailable: function(uuid) {
         let extension = ExtensionUtils.extensions[uuid];
+        let checkVersion = !this._settings.get_boolean('disable-extension-version-validation');
 
         if (!extension)
             return false;
 
-        if (ExtensionUtils.isOutOfDate(extension))
+        if (checkVersion && ExtensionUtils.isOutOfDate(extension))
             return false;
 
         if (!extension.dir.get_child('prefs.js').query_exists(null))